一种面向故障的软件测试新方法

面向故障的软件测试方法是今后软件测试技术研究的主要内容.和传统的面向整个软件的测试方法相比,面向故障的测试方法对故障的检测针对性更强,特别是对传统测试方法难以检测的故障如存储器泄露故障、数组越界故障、空指针引用故障等的检测是非常有效的.从方法学上讲,面向故障的测试方法标志着一个测试理论的成熟,在测试方法学中具有里程碑的意义.面向故障测试方法有2个问题需要解决:①软件的故障模型,②面向该模型的自动测试方法,此文重点论述软件的故障模型问题.     

军队干部交流分配模型研究

针对军队干部交流分配常常采用定性方法的现状,结合每年都要交流大量干部的实际情况,在可行、合理交流的基础上,综合利用Delphi法、系统分解与协调法建立了干部交流分配模型,从而实现了干部在各种类别之间的交流,为军队干部的交流分配提供了定量依据.     

军事装备效能及其评估方法研究

探讨了军事装备效能的定义、度量指标及其体系结构,提出了几个值得思考的问题,综述了效能量化方法、多指标效能的综合方法、权值的确定方法和军事装备效能评估的方法.     

应用型工程力学教学方法的探索与实践

应用型工程力学教学模式主要包括四种有代表性的教学方法,即:生动形象教学法、贴近日常生活事例教学法、贴近具体工程教学法、重大工程事故教学法。     

气压/自由陀螺组合式高度控制系统研究

提出一种组合式控制方案。通过选择高度差信号和姿态角及其变化率作为控制规律,较好地抑制了高度控制回路的综合干扰,仿真结果表明,采用上述高度控制方案并用随机射线法优化控制参数,可以提高控制系统抗干扰能力。     

管壁不连续对管路结构振动传递的影响

用传递矩阵法得出了管路中纯扭转波在通过管壁不连续处的波动形式的解,以此为基础分析了管壁材质以及厚度的差异对纯扭转波的透射系数的影响,并得出了管壁材料的密度与剪切模量的乘积相差越悬殊,隔离振动的效果越好,以及管壁几何结构不连续对隔振的贡献不大的结论.     

微型桥梁索力测量毫米波雷达

在详细分析拉索雷达散射特性、频率法索力反演原理和拉索频率雷达测量原理的基础上,设计研制了一种77 GHz毫米波微型索力测量雷达,并给出了针对作用距离、精度和测量动态性能的系统约束参数集.与24 GHz K波段形变测量雷达进行比较,结果表明,所研制的毫米波微型索力测量雷达具有体积、质量和功耗小的技术特点,工程应用价值较大...     

“协同教学法”在边防检查专业实践教学中的应用

在边防检查专业教学中,＂协同教学法＂是加强专业实践教学环节,使学生把知识转化为能力的有效途径。这一教学方法在边检专业实践教学的课前准备、教学实施、课后小结环节中得到充分体现,并推动教学活动的开展。     

主客观组合赋权在舰载通信系统评估中的应用

为提高舰载通信系统效能评估的科学性,将主观和客观赋权法相结合,提出将基于标度扩展的AHP法和离差最大化法通过基于目标规划的组合方法进行结合,用于舰载通信系统效能评估中各指标权重的确定,从而融合了主客观方法的优点。评估结果表明了该方法的合理性。     

超空泡航行体双层壳结构动力稳定性分析

针对超空泡航行体轴向受力特点,建立超空泡航行体双层壳结构有限元模型,对结构动力稳定性进行分析.数值计算表明,当壳间实肋板厚度增大或环向肋骨数量和尺寸增加时,动力失稳区域整体下移,不稳定激发频率下降,失稳区域宽度减小幅度较小;当壳间间距减小或纵向肋骨数量和尺寸增加时,双层壳结构动力不稳定激发频率上升,动力失稳区域宽度较大...